Project-Team:AOSTE

Project-Team Aoste

Members

Overall Objectives

Embedded System Design
Highlights of the Year

Research Program

Models of Computation and Communication (MoCCs)
Logical Time in Model-Driven Embedded System Design
The AAA (Algorithm-Architecture Adequation) methodology and Real-Time Scheduling

Application Domains

Multicore System-on-Chip design
Automotive and avionic embedded systems

Software and Platforms

TimeSquare
K-Passa
SynDEx
Lopht
SAS

New Results

Process Networks with routing for parallel architectures
Formal analysis of MARTE Time Model and CCSL
Logical time in Model-Driven Engineering of embedded systems
Multiview modeling and power intent in Systems-on-chip
Performance variability analysis on manycore architectures
Off-line (static) mapping of real-time applications onto NoC-based many-cores
WCET estimation for parallel code
Real-time scheduling and code generation for time-triggered platforms
Uniprocessor Real-Time Scheduling
Multiprocessor Real-Time Scheduling
Probabilistic Real-Time Systems

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2013 | Presentation of the Project-Team AOSTE | AOSTE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Dissemination

Popularization

We held a thematic Spring School in late April in Shanghai, based on the topics of the DAESD associated-team 8.4.1.1 . It was open to students from all over China, and we invited also chinese speakers (but the attendance of around sixty students was mostly from several universities in and around Shanghai).

Previous |

Home | Next next